1. A fuzzy PROLOG database system
المؤلف: Li, Deyi
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
2. An introduction to logic programming through Prolog /
المؤلف: Michael Spivey
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
3. Artificial intelligence in simulation
المؤلف: FUTO,IVAN
المکتبة: (طهران)
موضوع: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
4. Computing with logic : logic programming with Prolog
المؤلف: Maier, David, 3591-
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Prolog )Computer program language(,، Logic programming
رده :
QA
76
.
73
.
P76M349
1988
5. Computing with logic : logic programming with Prolog
المؤلف: Maier, David
المکتبة: (طهران)
موضوع: ، Prolog )Computer program language(,، Logic programming
رده :
QA
76
.
73
.
P76
M349
1988
6. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
7. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
المؤلف: Michael Fisher, Richard Owens )eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
8. From logic programming to Prolog
المؤلف: Apt, Krzysztof R.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
9. From logic programming to Prolog
المؤلف: Apt, Krzysztof R.
المکتبة: (طهران)
موضوع: Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
10. From logic programming to Prolog
المؤلف: / Krzysztof R. Apt
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
11. Logic, Progrmming and prolog
المؤلف: / ULF Nilsson and Jan Maluszynski
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic Programming,Prolog (Computer Program Language)
رده :
QA76
.
63
.
N55
1995
12. Logic programming: : Prolog and stream parallel languages
المؤلف: Newmarch, Jan
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
13. Logic programming : Prolog and stream parallel languages
المؤلف: Newmarch, Jan.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
14. Logic programming: prolog and stream parallel languages
المؤلف: Newmarch, Jan Dennis
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
15. Logic programming with Prolog
المؤلف: / Max Bramer
المکتبة: (خراسان الجنوبیة)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
B73
2005
16. Logic programming with Prolog
المؤلف: / Max Bramer
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming.,Prolog (Computer program language)
رده :
QA
,
76
.
63
,.
B73
,
2005
17. Logic programming with Prolog
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming. ; Prolog (Computer program language) ;
18. Logic programming with Prolog
المؤلف: / Max Bramer
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
.
B73
2005
19. Logic programming with Prolog /
المؤلف: Max Bramer
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
20. Logic with prolog
المؤلف: Peter Gibbins
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Prolog (Computer program language),Logic programming
رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988
